일간 2026년 9월 6일 No. 149 11일 만에 페르마를 증명한 클로드 — 기계 검증의 시대, 위키 사건을 인정한 오픈AI 클로드가 페르마의 마지막 정리를 1,300만 줄 Lean 증명으로 완성했고, 오픈AI는 위키 사건을 인정하고 오정렬 공개 기준을 만들겠다고 밝혔습니다. 페르마 마지막 정리클로드오픈AI 위키 사건GPT-6 아스트라미중 AI 회담 읽기 →